CHENG, Jingde: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2009 Fourth International Conference on Frontier of Computer Science and Technology (FCST) - Shanghai, TBD, China (2009.12.17-2009.12.19)] 2009 Fourth International Conference on Frontier of Computer Science and Technology - A Database System for Effective Utilization of ISO/IEC 27002

Iqbal, Ahmad, Horie, Daisuke, Goto, Yuichi, Cheng, Jingde

Year:

2009

Language:

english

File:

PDF, 337 KB

english, 2009

2

[IEEE 2009 Fifth International Conference on Semantics, Knowledge and Grid - Zhuhai, China (2009.10.12-2009.10.14)] 2009 Fifth International Conference on Semantics, Knowledge and Grid - A Temporal Relevant Logic Approach to Modeling and Reasoning about Epistemic Processes

Year:

2009

Language:

english

File:

PDF, 1.17 MB

english, 2009

3

[IEEE 2016 12th International Conference on Computational Intelligence and Security (CIS) - Wuxi, China (2016.12.16-2016.12.19)] 2016 12th International Conference on Computational Intelligence and Security (CIS) - A Security Evaluation and Certification Management Database Based on ISO/IEC Standards

Chen, Huilin, Bao, Da, Gao, Hongbiao, Cheng, Jingde

Year:

2016

Language:

english

File:

PDF, 307 KB

english, 2016

4

Effects of SO 2 on CO 2 capture using chilled ammonia solvent

Li, Jingde, Cheng, Kuang, Croiset, Eric, Anderson, William A., Li, Qinghai, Tan, Zhongchao

Journal:

International Journal of Greenhouse Gas Control

Year:

2017

Language:

english

File:

PDF, 796 KB

english, 2017

5

[IEEE 2019 IEEE International Conference on Energy Internet (ICEI) - Nanjing, China (2019.5.27-2019.5.31)] 2019 IEEE International Conference on Energy Internet (ICEI) - Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning Based on Strong Relevant Logic

Gao, Hongbiao, Li, Jianbin, Cheng, Jingde

Year:

2019

Language:

english

File:

PDF, 154 KB

english, 2019

6

Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction

Ying Gao, Jingde Cheng

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 264 KB

english, 2007

7

[IEEE 2012 International Conference on Machine Learning and Cybernetics (ICMLC) - Xian, Shaanxi, China (2012.07.15-2012.07.17)] 2012 International Conference on Machine Learning and Cybernetics - Formal analysis of cryptographic protocols by reasoning based on deontic relevant logic: A case study in Needham-Schroeder Shared-Key protocol

Wagatsuma, Kazunori, Goto, Yuichi, Jingde Cheng,

Year:

2012

Language:

english

File:

PDF, 158 KB

english, 2012

8

[IEEE 2013 International Conference on Mechatronic Sciences, Electric Engineering and Computer (MEC) - Shengyang, China (2013.12.20-2013.12.22)] Proceedings 2013 International Conference on Mechatronic Sciences, Electric Engineering and Computer (MEC) - Supporting verification and validation of security targets with ISO/IEC 15408

Da Bao,, Junichi Miura,, Ning Zhang,, Goto, Yuichi, Jingde Cheng,

Year:

2013

Language:

english

File:

PDF, 385 KB

english, 2013

9

[IEEE International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC'06) - Vienna, Austria (28-30 Nov. 2005)] International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC'06) - Patterning Protection Profiles by UML for Security Specifications

Morimoto, S., Jingde Cheng,

Year:

2005

Language:

english

File:

PDF, 284 KB

english, 2005

10

[ACM Press the 2006 ACM symposium - Dijon, France (2006.04.23-2006.04.27)] Proceedings of the 2006 ACM symposium on Applied computing - SAC '06 - Deontic relevant logic as the logical basis for legal information systems

Year:

2006

Language:

english

File:

PDF, 191 KB

english, 2006

11

[IEEE 2006 IEEE International Conference on Systems, Man and Cybernetics - Taipei, Taiwan (2006.10.8-2006.10.11)] 2006 IEEE International Conference on Systems, Man and Cybernetics - Temporal Deontic Relevant Logic as the Logical Basis for Decision Making Based on Anticipatory Reasoning

Year:

2006

Language:

english

File:

PDF, 1.29 MB

english, 2006

12

[IEEE 2013 International Conference on Machine Learning and Cybernetics (ICMLC) - Tianjin, China (2013.7.14-2013.7.17)] 2013 International Conference on Machine Learning and Cybernetics - Development of a supporting tool for translation between declarative sentences and logical formulas

Nanaumi, Shunsuke, Wagatsuma, Kazunori, Goto, Yuichi, Cheng, Jingde

Year:

2013

Language:

english

File:

PDF, 751 KB

english, 2013

13

New types of tasking deadlocks in Ada 2012 programs

Ekiba, Takeo, Goto, Yuichi, Cheng, Jingde

Journal:

ACM SIGAda Ada Letters

Year:

2013

Language:

english

File:

PDF, 170 KB

english, 2013

14

[IEEE 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI) - Guangzhou, China (2018.10.8-2018.10.12)] 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI) - Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Tarski's Geometry

Gao, Hongbiao, Li, Jianbin, Cheng, Jingde

Year:

2018

Language:

english

File:

PDF, 191 KB

english, 2018

15

Synthesis and Electrospray Ionization Mass Spectra of Amino Acid Thiophosphoramidates of Nucleoside

Zhi-Wei Miao, Hua Fu, Yi Chen, Jingd Chen, Chang-Mei Cheng, Yu-Fen Zhao

Journal:

Chinese Journal of Chemistry

Year:

2001

Language:

english

File:

PDF, 333 KB

english, 2001

16

A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic

Yuichi Goto, Jingde Cheng

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 259 KB

english, 2007

17

An algebraic semantics of notional entailment logic Cn

Journal:

Information Processing Letters

Year:

1990

Language:

english

File:

PDF, 383 KB

english, 1990

18

Synthesis of Novel Derivatives of 4-Amino-3-(2-Furyl)-5-Mercapto-1,2,4-Triazole as Potential HIV-1 NNRTIs

Wu, Jingde, Liu, Xinyong, Cheng, Xianchao, Cao, Yuan, Wang, Defeng, Li, Zhong, Xu, Wenfang, Pannecouque, Christophe, Witvrouw, Myriam, De Clercq, Erik

Journal:

Year:

2007

Language:

english

File:

PDF, 104 KB

english, 2007

19

A systematic methodology for automated theorem finding

Gao, Hongbiao, Goto, Yuichi, Cheng, Jingde

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 1.06 MB

english, 2014

20

[IEEE Comput. Soc Sixth Asia Pacific Software Engineering Conference (APSEC'99) - Takamatsu, Japan (7-10 Dec. 1999)] Proceedings Sixth Asia Pacific Software Engineering Conference (ASPEC'99) (Cat. No.PR00509) - A System Dependence Net generator for Ada programs

Nonaka, Y., Hatano, K., Nomura, Y., Jingde Cheng,, Ushijima, K.

Year:

1999

Language:

english

File:

PDF, 687 KB

english, 1999

21

[IEEE 2013 IEEE 4th International Conference on Software Engineering and Service Science (ICSESS) - Beijing, China (2013.05.23-2013.05.25)] 2013 IEEE 4th International Conference on Software Engineering and Service Science - Providing users with suitable services of information security engineering cloud based on ISO/IEC 15408

Xu, Liqing, Bo Wang,, Ning Zhang,, Goto, Yuichi, Cheng, Jingde

Year:

2013

Language:

english

File:

PDF, 914 KB

english, 2013

22

[IEEE 2008 International Conference on Information Security and Assurance ISA - Busan, Korea (2008.04.24-2008.04.26)] 2008 International Conference on Information Security and Assurance (isa 2008) - A Security Engineering Environment Based on ISO/IEC Standards: Providing Standard, Formal, and Consistent Supports for Design, Development, Operation, and Maintenance of Secure Information Systems

Cheng, Jingde, Goto, Yuichi, Morimoto, Shoichi, Horie, Daisuke

Year:

2008

Language:

english

File:

PDF, 1011 KB

english, 2008

23

[IEEE Second International Conference on Semantics, Knowledge, and Grid (SKG 2006) - Guilin (2006.11.1-2006.11.3)] 2006 Semantics, Knowledge and Grid, Second International Conference on - The Theory Grid and Grid Theorists

Jingde Cheng,, Nara, S., Koh, T., Goto, Y.

Year:

2006

Language:

english

File:

PDF, 296 KB

english, 2006

24

[IEEE 2008 International Conference on Information Security and Assurance ISA - Busan, Korea (2008.04.24-2008.04.26)] 2008 International Conference on Information Security and Assurance (isa 2008) - A Comparative Study of RFID Solutions for Security and Privacy: POP vs. Previous Solutions

Koralalage, Krishan Sabaragamu, Cheng, Jingde

Year:

2008

Language:

english

File:

PDF, 364 KB

english, 2008

25

[IEEE The 2nd IEEE Asia-Pacific Service Computing Conference (APSCC 2007) - Tsubuka Science City, Japan (2007.12.11-2007.12.14)] The 2nd IEEE Asia-Pacific Service Computing Conference (APSCC 2007) - ENQUETE-BAISE: A General-Purpose E-Questionnaire Server for Ubiquitous Questionnaire

Cheng, Jingde, Goto, Yuichi, Koide, Masato, Nagahama, Keigo, Someya, Masami, Utsumi, Yusuke, Shionoiri, Ayaka

Year:

2007

Language:

english

File:

PDF, 1.10 MB

english, 2007

26

[IEEE 2008 8th International Conference on Hybrid Intelligent Systems (HIS) - Barcelona, Spain (2008.09.10-2008.09.12)] 2008 Eighth International Conference on Hybrid Intelligent Systems - Adaptive Prediction by Anticipatory Reasoning Based on Temporal Relevant Logic

Year:

2008

Language:

english

File:

PDF, 297 KB

english, 2008

27

[IEEE 2012 International Conference on Machine Learning and Cybernetics (ICMLC) - Xian, Shaanxi, China (2012.07.15-2012.07.17)] 2012 International Conference on Machine Learning and Cybernetics - Practical usage of freeencal: An automated forward reasoning engine for general-purpose

Yuichi Goto,, Hongbiao Gao,, Takahiro Tsuji,, Jingde Cheng,

Year:

2012

Language:

english

File:

PDF, 227 KB

english, 2012

28

[IEEE 2012 IEEE International Conference on Computer Science and Automation Engineering (CSAE) - Zhangjiajie, China (2012.5.25-2012.5.27)] 2012 IEEE International Conference on Computer Science and Automation Engineering (CSAE) - Generation of system dependence nets for Ada 2005 programs

Wang, Bo, Shi, Kai, Goto, Yuichi, Cheng, Jingde

Year:

2012

Language:

english

File:

PDF, 145 KB

english, 2012

29

[IEEE 2008 Second IEEE International Conference on Secure System Integration and Reliability Improvement (SSIRI) - Yokohama, Japan (2008.07.14-2008.07.17)] 2008 Second International Conference on Secure System Integration and Reliability Improvement - Ensuring Reliability and Availability of Soft System Bus

Selim, Mohammad Reza, Goto, Yuichi, Cheng, Jingde

Year:

2008

Language:

english

File:

PDF, 643 KB

english, 2008

30

[IEEE Comput. Soc 2002 International Symposium Cyber Worlds: Theory and Practices. CW2002 - Tokyo, Japan (6-8 Nov. 2002)] First International Symposium on Cyber Worlds, 2002. Proceedings. - Extensible requirements patterns of web application for efficient web application development

Wahono, R.S., Jingde Cheng,

Year:

2002

Language:

english

File:

PDF, 326 KB

english, 2002

31

[IEEE 2012 International Conference on Machine Learning and Cybernetics (ICMLC) - Xian, Shaanxi, China (2012.07.15-2012.07.17)] 2012 International Conference on Machine Learning and Cybernetics - Automated theorem finding by forward deduction based on strong relevant logic: A case study in NBG set theory

Hongbiao Gao,, Kai Shi,, Goto, Yuichi, Cheng, Jingde

Year:

2012

Language:

english

File:

PDF, 184 KB

english, 2012

32

[IEEE Third International Conference on Semantics, Knowledge and Grid (SKG 2007) - Xi'an, Shan Xi, China (2007.10.29-2007.10.31)] Third International Conference on Semantics, Knowledge and Grid (SKG 2007) - A Semilattice Model for the Theory Grid

Year:

2007

Language:

english

File:

PDF, 254 KB

english, 2007

33

[IEEE 2012 IEEE 3rd International Conference on Software Engineering and Service Science (ICSESS) - Beijing, China (2012.06.22-2012.06.24)] 2012 IEEE International Conference on Computer Science and Automation Engineering - A supporting tool for creating and maintaining security targets according to ISO/IEC 15408

Gefei Sun,, Yajima, Kenichi, Miura, Junichi, Kai Shi,, Goto, Yuichi, Cheng, Jingde

Year:

2012

Language:

english

File:

PDF, 1.21 MB

english, 2012

34

[IEEE 2009 IEEE International Symposium on Parallel and Distributed Processing with Applications - Chengdu, Sichuan, China (2009.08.10-2009.08.12)] 2009 IEEE International Symposium on Parallel and Distributed Processing with Applications - Development of ISEE: An Information Security Engineering Environment

Cheng, Jingde, Goto, Yuichi, Horie, Daisuke, Miura, Junichi, Kasahara, Toshio, Iqbal, Ahmad

Year:

2009

Language:

english

File:

PDF, 3.19 MB

english, 2009

35

[IEEE 2006 First International Symposium on Pervasive Computing and Applications - Urumqi, China (2006.08.3-2006.08.5)] 2006 First International Symposium on Pervasive Computing and Applications - Persistent Computing Systems as an Infrastructure for Pervasive Services

Cheng, Jingde, Goto, Yuichi, Someya, Masami, Endo, Takumi

Year:

2006

Language:

english

File:

PDF, 815 KB

english, 2006

36

[IEEE 11th International Conference on Parallel and Distributed Systems (ICPADS'05) - Fukuoka, Japan (20-22 July 2005)] 11th International Conference on Parallel and Distributed Systems (ICPADS'05) - Comparing Persistent Computing with Autonomic Computing

Year:

2005

Language:

english

File:

PDF, 203 KB

english, 2005

37

[IEEE 2012 IEEE 3rd International Conference on Software Engineering and Service Science (ICSESS) - Beijing, China (2012.06.22-2012.06.24)] 2012 IEEE International Conference on Computer Science and Automation Engineering - ISEC: An information security engineering cloud

Liqing Xu,, Kai Shi,, Goto, Yuichi, Cheng, Jingde

Year:

2012

Language:

english

File:

PDF, 892 KB

english, 2012

38

[IEEE 2012 International Conference on Computer Science and Service System (CSSS) - Nanjing, China (2012.08.11-2012.08.13)] 2012 International Conference on Computer Science and Service System - A Comparative Study between Soft System Bus and Enterprise Service Bus

Li, Gang, Xiao, Jian, Li, Chun, Li, Sen, Cheng, Jingde

Year:

2012

Language:

english

File:

PDF, 174 KB

english, 2012

39

[IEEE 2013 IEEE 4th International Conference on Software Engineering and Service Science (ICSESS) - Beijing, China (2013.05.23-2013.05.25)] 2013 IEEE 4th International Conference on Software Engineering and Service Science - New types of program dependences and interprocedural relations in Ada 2012 programs

Bo Wang,, Goto, Yuichi, Jingde Cheng,

Year:

2013

Language:

english

File:

PDF, 1.00 MB

english, 2013

40

[IEEE 2012 Eighth International Conference on Semantics, Knowledge and Grids (SKG) - Beijing, TBD, China (2012.10.22-2012.10.24)] 2012 Eighth International Conference on Semantics, Knowledge and Grids - A Truth Maintenance System for Epistemic Programming Environment

Goto, Yucihi, Cheng, Jingde

Year:

2012

Language:

english

File:

PDF, 207 KB

english, 2012

41

[IEEE 2009 Eighth IEEE/ACIS International Conference on Computer and Information Science - Shanghai, China (2009.06.1-2009.06.3)] 2009 Eighth IEEE/ACIS International Conference on Computer and Information Science - A New Model of Software Life Cycle Processes for Consistent Design, Development, Management, and Maintenance of Secure Information Systems

Horie, Daisuke, Kasahara, Toshio, Goto, Yuichi, Cheng, Jingde

Year:

2009

Language:

english

File:

PDF, 238 KB

english, 2009

42

[IEEE 2009 Fourth International Conference on Frontier of Computer Science and Technology (FCST) - Shanghai, TBD, China (2009.12.17-2009.12.19)] 2009 Fourth International Conference on Frontier of Computer Science and Technology - Information Assurance, Privacy, and Security in Ubiquitous Questionnaire

Goto, Yuichi, Cheng, Jingde

Year:

2009

Language:

english

File:

PDF, 136 KB

english, 2009

43

[IEEE Comput. Soc Second Euromicro Conference on Software Maintenance and Reengineering - Florence, Italy (8-11 March 1998)] Proceedings of the Second Euromicro Conference on Software Maintenance and Reengineering - A metrics suite for concurrent logic programs

Jianjun Zhao,, Jingde Cheng,, Ushijima, K.

Year:

1998

Language:

english

File:

PDF, 222 KB

english, 1998

44

[IEEE 2008 Third International Conference on Availability, Reliability and Security - (2008.03.4-2008.03.7)] 2008 Third International Conference on Availability, Reliability and Security - Fast Qualitative Reasoning about Actions for Computing Anticipatory Systems

Kitajima, Natsumi, Goto, Yuichi, Cheng, Jingde

Year:

2008

Language:

english

File:

PDF, 498 KB

english, 2008

45

[IEEE 2010 International Conference on Internet Technology and Applications (iTAP) - Wuhan, China (2010.08.20-2010.08.22)] 2010 International Conference on Internet Technology and Applications - The Design and Development of 3G English M-Learning Platform

Gong, Cheng, Hu, Jingde

Year:

2010

Language:

english

File:

PDF, 302 KB

english, 2010

46

[IEEE 25th Annual International Computer Software and Applications Conference. COMPSAC 2001 - Chicago, IL, USA (8-12 Oct. 2001)] 25th Annual International Computer Software and Applications Conference. COMPSAC 2001 - CLPKIDS: a program analysis system for concurrent logic programs

Jianjun Zhao,, Jingde Cheng,, Ushijima, K.

Year:

2001

Language:

english

File:

PDF, 685 KB

english, 2001

47

[IEEE 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05) - Hong Kong, China (2005.11.16-2005.11.16)] 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'05) - Spatio-temporal relevant logic as the logical basis for spatio-temporal information systems

Year:

2005

Language:

english

File:

PDF, 437 KB

english, 2005

48

[IEEE 2009 International Conference on Availability, Reliability and Security - Fukuoka, Japan (2009.03.16-2009.03.19)] 2009 International Conference on Availability, Reliability and Security - FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408

Yajima, Kenichi, Morimoto, Shoichi, Horie, Daisuke, Azreen, Noor Sheila, Goto, Yuichi, Cheng, Jingde

Year:

2009

Language:

english

File:

PDF, 349 KB

english, 2009

49

[IEEE 19th International Conference on Advanced Information Networking and Applications (AINA'05) Volume 1 (AINA papers) - Taipei, Taiwan (25-30 March 2005)] 19th International Conference on Advanced Information Networking and Applications (AINA'05) Volume 1 (AINA papers) - Connecting Components with Soft System Buses: A New Methodology for Design, Development, and Maintenance of Reconfigurable, Ubiquitous, and Persistent Reactive Systems

Year:

2005

Language:

english

File:

PDF, 593 KB

english, 2005

50

[IEEE 2009 International Conference on Availability, Reliability and Security - Fukuoka, Japan (2009.03.16-2009.03.19)] 2009 International Conference on Availability, Reliability and Security - An Improvement of REM: A Replication Oriented Event-Based Middleware

Chen, Youcheng, Selim, Mohammad Reza, Goto, Yuichi, Cheng, Jingde

Year:

2009

Language:

english

File:

PDF, 377 KB

english, 2009